翻訳と辞書 Words near each other ・ Principia Mathematica ・ Principia philosophiae cartesianae ・ Principia Sardonica ・ Principiala ・ Principina ・ Principina a Mare ・ Principina Terra ・ Principio Furnace ・ Principle ・ Principle (chemistry) ・ Principle (disambiguation) ・ Principle 6 campaign ・ Principle Group ・ Principle Hope ・ Principle of abstraction ・ Principle of bivalence ・ Principle of charity ・ Principle of compositionality ・ Principle of conferral ・ Principle of consent ・ Principle of Coordination ・ Principle of covariance ・ Principle of deferred decision ・ Principle of disclosure ・ Principle of distributivity ・ Principle of double effect ・ Principle of effective demand ・ Principle of explosion ・ Principle of fast arrival ・ Principle of faunal succession Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Principle of bivalence ： ウィキペディア英語版 Principle of bivalence In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false.〔 A logic satisfying this principle is called a two-valued logic or bivalent logic.〔 In formal logic, the principle of bivalence becomes a property that a semantics may or may not possess. It is not the same as the law of excluded middle, however, and a semantics may satisfy that law without being bivalent.〔 It may be written in the second-order sentence as: $\backslash forall\; P\backslash ,\backslash forall\; x\; (x\; \backslash in\; P\; \backslash lor\; x\; \backslash notin\; P)$, demonstrating similarity yet differing mainly by quantified set elements. The principle of bivalence is studied in philosophical logic to address the question of which natural-language statements have a well-defined truth value. Sentences which predict events in the future, and sentences which seem open to interpretation, are particularly difficult for philosophers who hold that the principle of bivalence applies to all declarative natural-language statements.〔 Many-valued logics formalize ideas that a realistic characterization of the notion of consequence requires the admissibility of premises which, owing to vagueness, temporal or quantum indeterminacy, or reference-failure, cannot be considered classically bivalent. Reference failures can also be addressed by free logics. == Relationship with the law of the excluded middle == The principle of bivalence is related to the law of excluded middle though the latter is a syntactic expression of the language of a logic of the form "P ∨ ¬P". The difference between the principle and the law is important because there are logics which validate the law but which do not validate the principle.〔 For example, the three-valued Logic of Paradox (LP) validates the law of excluded middle, but not the law of non-contradiction, ¬(P ∧ ¬P), and its intended semantics is not bivalent. In classical two-valued logic both the law of excluded middle and the law of non-contradiction hold. Many modern logic programming systems replace the law of the excluded middle with the concept of negation as failure. The programmer may wish to add the law of the excluded middle by explicitly asserting it as true; however, it is not assumed ''a priori''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Principle of bivalence」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.